main(){
   a=6;
   if(a>5){
          L:
          a=a+1;
   }
   else{
          I:
	  a=a-1;
   }
   goto L;
   assert(a==8);
   return 0;
}
